Combining SAT solving and integer programming for inductive verification of Lustre programs
- Författare
- Institutionen för datavetenskap (Göteborg) Anders Franzén
- (Anders Franzén., Examensarbete)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers tekniska högsk. | 2004 | Sverige, Göteborg | viii, 72 sidor. ill. |